Order theory - PDFSEARCH.IO - Document Search Engine

Order theory
Results: 3266

#	Item
881	Monotone Submodular Maximization over a Matroid via Non-Oblivious Local Search Yuval Filmus and Justin Ward November 25, 2012 Abstract We present an optimal, combinatorial 1 − 1/e approximation algorithm for monotone s Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2012-11-25 12:04:59 Submodular set function Order theory Matroid Linear programming Greedy algorithm XTR Monotonic function Greedoid Ordinal optimization Mathematics Mathematical analysis Matroid theory
882	Inequalities on Submodular Functions via Term Rewriting Yuval Filmusa,1,∗ a University of Toronto Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2013-03-30 16:29:36 Order theory Supermodular function Forcing Mathematics Submodular set function Function
883	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) Compilation of extended recursion in call-by-value functional languages Tom Hirschowitz · Xavier Leroy · J. B. Wells Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2009-12-15 04:49:16 Computability theory Recursion Theoretical computer science Models of computation Formal methods Lambda calculus Standard ML Free variables and bound variables Scheme Software engineering Computing Mathematics
884	Majorization and entropy at the output of bosonic Gaussian channels A. Mari,1, ∗ V. Giovannetti,1 A. S. Holevo,2, 3 R. Garc´ıa-Patr´on,4, 5 and N. J. Cerf4 1 NEST, Scuola Normale Superiore and Istituto Nanoscienze-C Add to Reading List Source URL: www.quantum-lab.org Language: English - Date: 2014-12-12 23:21:34 Quantum mechanics Mathematics Mechanics Order theory Quantum channel Quantum information Information theory Quantum discord Coherent states Quantum information theory Physics Quantum information science
885	INFORMATION AND 76, Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2008-08-20 12:36:56 Logic Institution Algebraic structure Structure Interpretation First-order logic Functor Sheaf Adjoint functors Mathematics Model theory Mathematical logic
886	This is an image of the primary interface in ServiceDesk. As shown, an operator is in the process of taking a service order from a telephone caller. She’s typed in the caller’s name, and moved into the second line to Add to Reading List Source URL: www.rossware.net Language: English - Date: 2009-09-14 21:14:44 Type system Type theory Data types Program analysis
887	First-Order Loop Formulas for Normal Logic Programs ∗ Yin Chen Fangzhen Lin Yisong Wang Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2006-03-23 02:44:06 Propositional calculus Model theory Boolean algebra Interpretation Philosophy of mind Propositional formula First-order logic Stable model semantics FO Logic Mathematics Mathematical logic
888	Abductive Logic Programming by Nonground Rewrite Systems Fangzhen Lin Jia-Huai You Department of Computer Science Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2008-04-09 23:20:46 Predicate logic Model theory Quantification First-order logic Structure Integration by substitution FO Function Abductive logic programming Logic Mathematics Mathematical logic
889	HEAPS II • Implementation • HeapSort • Bottom-Up Heap Construction • Locators Add to Reading List Source URL: crypto.cs.mcgill.ca Language: English - Date: 2004-03-22 20:59:20 Combinatorics Heap Priority queue Insertion sort Smoothsort Binary heap Sorting algorithms Mathematics Order theory
890	MPIfG Discussion PaperThe Social Order of Markets Jens Beckert Jens Beckert Add to Reading List Source URL: www.mpifg.de Language: English - Date: 2014-04-04 11:30:51 Economic ideologies Political economy Economic liberalism Market Neoclassical economics Capitalism Rational choice theory General equilibrium theory Exploitation Economics Economic theories Social philosophy

UPDATE